widget: Annotate out params of _translate_coordinates as optional
authorTimm Bäder <mail@baedert.org>
Sat, 30 Jan 2016 23:01:31 +0000 (00:01 +0100)
committerTimm Bäder <mail@baedert.org>
Sun, 31 Jan 2016 19:05:52 +0000 (20:05 +0100)
commit033c6c82d0172a18723e672ff1dae7b921726f93
tree69b491890df11c5d1936c06862202ae7cf9cf8ff
parent5a2feab8c0e856ae3536817b8f120d0ff13bb623
widget: Annotate out params of _translate_coordinates as optional
gtk/gtkwidget.c